функтор отрицания

См. также в других словарях:

• функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак + можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние… …   Словарь терминов логики

• СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ —     СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка.     Учение о семантических категориях восходит к Т. Фреге и… …   Философская энциклопедия

• семантические категории —         СЕМАНТИЧЕСКИЕ КАТЕГОРИИ типы значений выражений языка. Учение о С. к. восходит к Э. Гуссерлю (Bedeutungskategorien, категории значения). Наиболее интенсивную разработку это учение получило в польск. школе логики. К учению о С. к. очень… …   Энциклопедия эпистемологии и философии науки

• СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка.     Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… …   Философская энциклопедия

• Список статей по логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия